solvable analytic group

可解解析群